Efficient approximation for counting of formal concepts generated from formal context
نویسندگان
چکیده
منابع مشابه
Formal Theories for Logspace Counting
We introduce two-sorted theories in the style of Cook and Nguyen for the complexity classes ParityL and DET, whose complete problems include determinants over GF(2) and Z, respectively. The definable functions in these theories are the functions in the corresponding complexity classes; thus each theory formalizes reasoning using concepts from its corresponding complexity class.
متن کاملAutomatic Acquisition of Formal Concepts from Text
ion: FC1 Φ FC2, which represents a more generic concept whose intension is the intersection CNTX1 ∩ CNTX2, and the extension the union W1 ∪W2. The clustering method we will describe in the following section makes use of these two operations. The resulting concepts generated by such operations give rise to a concept lattice. The more balanced concepts in that lattice will be the startpoint (i.e....
متن کاملVisualization of Formal Concepts
Formal concept analysis (FCA) is a method that applies to structuring the philosophical notion of human thought into logical concepts. These formal concepts follow a definite mathematical model that can be expressed as lattices. The visualization tool discussed as follows was built as a basic prototype for representing and performing operations on a formal context.
متن کامل?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملInductively generated formal topologies
Formal topology is today an established topic in the development of constructive, that is intuitionistic and predicative, mathematics. Many classical results of general topology have been already brought into the realm of constructive mathematics by using formal topology and also new light on basic topological notions was gained with this approach which allows distinction which are not sensible...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Miskolc Mathematical Notes
سال: 2018
ISSN: 1787-2405,1787-2413
DOI: 10.18514/mmn.2018.2529